home *** CD-ROM | disk | FTP | other *** search
/ Atari Mega Archive 1 / Atari Mega Archive - Volume 1.iso / lists / gem / l_0399 / 245 < prev    next >
Encoding:
Internet Message Format  |  1994-08-27  |  1.6 KB

  1. Subject: Re: Proposal
  2. Date: Thu, 2 Jun 1994 13:20:43 +0200 (MDT)
  3. In-Reply-To: <H.ekK.NTnbm8exXDM@elfhaven.ersys.edmonton.ab.ca> from "Michel Forget" at May 22, 94 01:22:10 am
  4. From: Annius.Groenink@cwi.nl (Annius Groenink)
  5. X-Face: "E3Hm]k]&:,OEP<{D2ixJf>-9[qOGLebNa0&cQyFL-a~)kTM3&&I"gFw=fJ]K%1IduGjOE`
  6.  ZGu]&~G]QNGa7i/L!+#Xng<|+}HKYHj~5?fTInUEUh0$I1gBI7jrA!&_|e/pR1[cX:^xgJTPsrjA_9
  7.  m8Zli[|.-u{]+c1(6C7mL*m`/_J\>.{4!:g
  8. Mime-Version: 1.0
  9. Precedence: bulk
  10.  
  11.  
  12. > [> Coomon practice is Shift-CTRL and Shift-ALT. The ALT-CTRL combination is
  13. > [> reserved for the os (eg. ctrl-alt-del, ctrl-alt-esc, ctrl-alt-tab),
  14. > [> and cannot appear in an application.
  15.  
  16. > Okay, I stand corrected.  So the proper (commonly accepted) order
  17. > that should be used is Shift, Control, Letter or Shift, Alt, Letter?
  18. > No problem.
  19.  
  20. The keys are ordered Alt-Shift-Control on the keyboard.  So I find that
  21. more logical than having shift before Alt.  BTW as far as I know there
  22. is no command standard for shift and alt as one hardly sees that anyway
  23. (BTW,  it is also dubious whether it should be allowed in menus).
  24.  
  25. Have we thought about left/right shift yet?  I've seen programs that use
  26. leftarrow and rightarrow for shift keys.
  27.  
  28. Perhaps we should do this:
  29.  
  30.     <-        Lshift
  31.     ->        Rshift
  32.         (uparrow)    Either shift
  33.  
  34. (or simply not allow a distinction between the shift keys).  For example
  35. a menu entry could be
  36.  
  37.  
  38.     Break        <- ->
  39.  
  40.  
  41. -- 
  42. Annius V. Groenink | E-mail: avg@cwi.nl      |  Private & ZFC:
  43. CWI, Kruislaan 413 | Room:   M233            |  P.O. Box 12079
  44. 1098 SJ Amsterdam  | Ext:    4077            |  NL 1100 AB Amsterdam 
  45. Netherland         | Phone:  +31 20 592 4077 |  Phone: +31 20 695 9901
  46.